#include "asm/regdef.h"
#include "asm/asm.h"
#include "asm/context.h"
#include "inst_test.h"
#include "trap.h"

    .set noreorder
    .set noat 
    .global main 
    .text 

main:
    ###test inst
    TEST_BLTZAL(0xc564aaee, 0xf1026890, 0x39dd5800, 0xf1026890, 0x39dd5800, 0xbfc003e4, 0xbfc003dc, 0xbfc0040c)
    TEST_BLTZAL(0x655e408b, 0x6c41162c, 0x8d5cd86f, 0x00000000, 0x00000000, 0xbfc004ec, 0xbfc004b4, 0xbfc004e4)
    TEST_BLTZAL(0xd941dbc8, 0xe6b2af00, 0x4c80b4b6, 0xe6b2af00, 0x4c80b4b6, 0xbfc00594, 0xbfc0058c, 0xbfc005bc)
    TEST_BLTZAL(0x935cf5a0, 0x4c9765c4, 0xe2f2ebac, 0x4c9765c4, 0xe2f2ebac, 0xbfc0066c, 0xbfc00664, 0xbfc00694)
    TEST_BLTZAL(0x18c1552a, 0x35163822, 0x34ffade0, 0x00000000, 0x00000000, 0xbfc00774, 0xbfc0073c, 0xbfc0076c)
    TEST_BLTZAL(0xa80025a1, 0xe079deb3, 0x774bba9e, 0xe079deb3, 0x774bba9e, 0xbfc0081c, 0xbfc00814, 0xbfc00844)
    TEST_BLTZAL(0xc58a6f20, 0x50bc904c, 0x42914b48, 0x50bc904c, 0x42914b48, 0xbfc008f4, 0xbfc008ec, 0xbfc0091c)
    TEST_BLTZAL(0xc3ed9400, 0x98ba8940, 0x7276c784, 0x98ba8940, 0x7276c784, 0xbfc009cc, 0xbfc009c4, 0xbfc009f4)
    TEST_BLTZAL(0x8ff9842b, 0x978af84a, 0xd770ef60, 0x978af84a, 0xd770ef60, 0xbfc00aa4, 0xbfc00a9c, 0xbfc00acc)
    TEST_BLTZAL(0x663da924, 0xf95f2930, 0x4654a65c, 0x00000000, 0x00000000, 0xbfc00bac, 0xbfc00b74, 0xbfc00ba4)
    TEST_BLTZAL(0xd97064ee, 0xb95ffbe8, 0x619a80f4, 0xb95ffbe8, 0x619a80f4, 0xbfc00c54, 0xbfc00c4c, 0xbfc00c7c)
    TEST_BLTZAL(0xdb553f88, 0xee356324, 0x32568200, 0xee356324, 0x32568200, 0xbfc00d2c, 0xbfc00d24, 0xbfc00d54)
    TEST_BLTZAL(0x54474420, 0xf6749e10, 0x0f558b00, 0x00000000, 0x00000000, 0xbfc00e34, 0xbfc00dfc, 0xbfc00e2c)
    TEST_BLTZAL(0xf3595c58, 0x3610309b, 0xb61e33d0, 0x3610309b, 0xb61e33d0, 0xbfc00edc, 0xbfc00ed4, 0xbfc00f04)
    TEST_BLTZAL(0xd8dc4820, 0x557637b4, 0x910e3aa0, 0x557637b4, 0x910e3aa0, 0xbfc00fb4, 0xbfc00fac, 0xbfc00fdc)
    TEST_BLTZAL(0xaa8a4c98, 0x27e9c330, 0xae081f3e, 0x27e9c330, 0xae081f3e, 0xbfc0108c, 0xbfc01084, 0xbfc010b4)
    TEST_BLTZAL(0xd9c4ed40, 0x635ed0a2, 0xdec2e92c, 0x635ed0a2, 0xdec2e92c, 0xbfc01164, 0xbfc0115c, 0xbfc0118c)
    TEST_BLTZAL(0x68397fdc, 0xe165e880, 0x45d1fd2c, 0x00000000, 0x00000000, 0xbfc0126c, 0xbfc01234, 0xbfc01264)
    TEST_BLTZAL(0x05172a80, 0x741763bc, 0x3ec46470, 0x00000000, 0x00000000, 0xbfc01344, 0xbfc0130c, 0xbfc0133c)
    TEST_BLTZAL(0xae593468, 0xf3dacee9, 0x7606d4f0, 0xf3dacee9, 0x7606d4f0, 0xbfc013ec, 0xbfc013e4, 0xbfc01414)
    TEST_BLTZAL(0x91d6b8c2, 0x0551f160, 0x4f006da0, 0x0551f160, 0x4f006da0, 0xbfc014c4, 0xbfc014bc, 0xbfc014ec)
    TEST_BLTZAL(0xa06b6b90, 0x97ee8758, 0x17d554a0, 0x97ee8758, 0x17d554a0, 0xbfc0159c, 0xbfc01594, 0xbfc015c4)
    TEST_BLTZAL(0x7ba59500, 0x5ec946e0, 0x077f958c, 0x00000000, 0x00000000, 0xbfc016a4, 0xbfc0166c, 0xbfc0169c)
    TEST_BLTZAL(0xf952c748, 0x3de2fb80, 0xb3da8ec0, 0x3de2fb80, 0xb3da8ec0, 0xbfc0174c, 0xbfc01744, 0xbfc01774)
    TEST_BLTZAL(0xd77c3bd3, 0x7e35d110, 0xc636c3b0, 0x7e35d110, 0xc636c3b0, 0xbfc01824, 0xbfc0181c, 0xbfc0184c)
    TEST_BLTZAL(0x26dda6d0, 0x237160b4, 0x4daf87f0, 0x00000000, 0x00000000, 0xbfc0192c, 0xbfc018f4, 0xbfc01924)
    TEST_BLTZAL(0xd6cca5b0, 0x86f4172c, 0x9d0769e0, 0x86f4172c, 0x9d0769e0, 0xbfc019d4, 0xbfc019cc, 0xbfc019fc)
    TEST_BLTZAL(0x28bc23bd, 0x6b42fd00, 0xdd50cbc0, 0x00000000, 0x00000000, 0xbfc01adc, 0xbfc01aa4, 0xbfc01ad4)
    TEST_BLTZAL(0xc7851378, 0x9640f3c6, 0xd36f4cb6, 0x9640f3c6, 0xd36f4cb6, 0xbfc01b84, 0xbfc01b7c, 0xbfc01bac)
    TEST_BLTZAL(0x4ae00500, 0xcb9870fa, 0x804c8950, 0x00000000, 0x00000000, 0xbfc01c8c, 0xbfc01c54, 0xbfc01c84)
    TEST_BLTZAL(0x3534715c, 0xd3300420, 0xa04818a0, 0x00000000, 0x00000000, 0xbfc01d64, 0xbfc01d2c, 0xbfc01d5c)
    TEST_BLTZAL(0x07646087, 0x3de9494e, 0xc0a643e6, 0x00000000, 0x00000000, 0xbfc01e3c, 0xbfc01e04, 0xbfc01e34)
    TEST_BLTZAL(0x5e14d5ee, 0x08a57680, 0xa6d5d220, 0x00000000, 0x00000000, 0xbfc01f14, 0xbfc01edc, 0xbfc01f0c)
    TEST_BLTZAL(0x8306d605, 0xbef43ef0, 0x19bd16ff, 0xbef43ef0, 0x19bd16ff, 0xbfc01fbc, 0xbfc01fb4, 0xbfc01fe4)
    TEST_BLTZAL(0x8af84d10, 0xe5f0dae8, 0x1c097320, 0xe5f0dae8, 0x1c097320, 0xbfc02094, 0xbfc0208c, 0xbfc020bc)
    TEST_BLTZAL(0xc6e68f76, 0x06c375f8, 0x0c0e1ec5, 0x06c375f8, 0x0c0e1ec5, 0xbfc0216c, 0xbfc02164, 0xbfc02194)
    TEST_BLTZAL(0x502badc0, 0x2918933c, 0x370f69c0, 0x00000000, 0x00000000, 0xbfc02274, 0xbfc0223c, 0xbfc0226c)
    TEST_BLTZAL(0xe6da4e94, 0xbff11c9d, 0x40ecfeb1, 0xbff11c9d, 0x40ecfeb1, 0xbfc0231c, 0xbfc02314, 0xbfc02344)
    TEST_BLTZAL(0x5c91b880, 0x7829cec0, 0xa2999300, 0x00000000, 0x00000000, 0xbfc02424, 0xbfc023ec, 0xbfc0241c)
    TEST_BLTZAL(0x82ea2849, 0x7a767238, 0x4e9660c0, 0x7a767238, 0x4e9660c0, 0xbfc024cc, 0xbfc024c4, 0xbfc024f4)
    TEST_BLTZAL(0x94870718, 0x5de24514, 0x5d0421b6, 0x5de24514, 0x5d0421b6, 0xbfc025a4, 0xbfc0259c, 0xbfc025cc)
    TEST_BLTZAL(0xe224cb20, 0x18f1fa80, 0x150e5c3a, 0x18f1fa80, 0x150e5c3a, 0xbfc0267c, 0xbfc02674, 0xbfc026a4)
    TEST_BLTZAL(0x3a14e59e, 0x4ea5a8bc, 0xb5ed7980, 0x00000000, 0x00000000, 0xbfc02784, 0xbfc0274c, 0xbfc0277c)
    TEST_BLTZAL(0xdcbd66d6, 0x8673350c, 0xfb5f83b1, 0x8673350c, 0xfb5f83b1, 0xbfc0282c, 0xbfc02824, 0xbfc02854)
    TEST_BLTZAL(0x5c84b110, 0x960a74d8, 0xe239d950, 0x00000000, 0x00000000, 0xbfc02934, 0xbfc028fc, 0xbfc0292c)
    TEST_BLTZAL(0xfc08307a, 0x25f6aa30, 0x43d5c894, 0x25f6aa30, 0x43d5c894, 0xbfc029dc, 0xbfc029d4, 0xbfc02a04)
    TEST_BLTZAL(0x30aee220, 0x8338ae38, 0xf28dd8d0, 0x00000000, 0x00000000, 0xbfc02ae4, 0xbfc02aac, 0xbfc02adc)
    TEST_BLTZAL(0x85bd5b3a, 0xa4f7aacf, 0xa39c66c0, 0xa4f7aacf, 0xa39c66c0, 0xbfc02b8c, 0xbfc02b84, 0xbfc02bb4)
    TEST_BLTZAL(0xa171fee0, 0x3feda210, 0x77117a8c, 0x3feda210, 0x77117a8c, 0xbfc02c64, 0xbfc02c5c, 0xbfc02c8c)
    TEST_BLTZAL(0x79637610, 0xee52c578, 0x24890ec0, 0x00000000, 0x00000000, 0xbfc02d6c, 0xbfc02d34, 0xbfc02d64)
    TEST_BLTZAL(0xbfea29c4, 0x846b8bea, 0x0727fb08, 0x846b8bea, 0x0727fb08, 0xbfc02e14, 0xbfc02e0c, 0xbfc02e3c)
    TEST_BLTZAL(0x6c103040, 0xb19f9e78, 0xd53b62e4, 0x00000000, 0x00000000, 0xbfc02f1c, 0xbfc02ee4, 0xbfc02f14)
    TEST_BLTZAL(0x4fa26e80, 0xc18b61f1, 0xb8d22ab0, 0x00000000, 0x00000000, 0xbfc02ff4, 0xbfc02fbc, 0xbfc02fec)
    TEST_BLTZAL(0x08e14a7e, 0xf327c65e, 0xd36cfac0, 0x00000000, 0x00000000, 0xbfc030cc, 0xbfc03094, 0xbfc030c4)
    TEST_BLTZAL(0x95644160, 0x08d5b74a, 0xff5d10e4, 0x08d5b74a, 0xff5d10e4, 0xbfc03174, 0xbfc0316c, 0xbfc0319c)
    TEST_BLTZAL(0xe11349c8, 0x38d51fd0, 0x47bcd2f0, 0x38d51fd0, 0x47bcd2f0, 0xbfc0324c, 0xbfc03244, 0xbfc03274)
    TEST_BLTZAL(0xab05d540, 0x170d0e20, 0x53a1d234, 0x170d0e20, 0x53a1d234, 0xbfc03324, 0xbfc0331c, 0xbfc0334c)
    TEST_BLTZAL(0x00827dc8, 0x77030fa0, 0xe0766080, 0x00000000, 0x00000000, 0xbfc0342c, 0xbfc033f4, 0xbfc03424)
    TEST_BLTZAL(0x4fb795e8, 0xff1f696e, 0xc65c117e, 0x00000000, 0x00000000, 0xbfc03504, 0xbfc034cc, 0xbfc034fc)
    TEST_BLTZAL(0xe26c3dc8, 0x04c5ea92, 0xd4a9b540, 0x04c5ea92, 0xd4a9b540, 0xbfc035ac, 0xbfc035a4, 0xbfc035d4)
    TEST_BLTZAL(0x8ffd2b44, 0x656788a8, 0x9f96adc8, 0x656788a8, 0x9f96adc8, 0xbfc03684, 0xbfc0367c, 0xbfc036ac)
    TEST_BLTZAL(0xe3481772, 0x9f2a10ee, 0xdd0e6718, 0x9f2a10ee, 0xdd0e6718, 0xbfc0375c, 0xbfc03754, 0xbfc03784)
    TEST_BLTZAL(0x7f7db200, 0xd1f8e093, 0x7db9f89c, 0x00000000, 0x00000000, 0xbfc03864, 0xbfc0382c, 0xbfc0385c)
    TEST_BLTZAL(0x8e33fd2a, 0x114b1cf8, 0xf1369ae4, 0x114b1cf8, 0xf1369ae4, 0xbfc0390c, 0xbfc03904, 0xbfc03934)
    TEST_BLTZAL(0x083ba18a, 0xe036d934, 0x57d80e38, 0x00000000, 0x00000000, 0xbfc03a14, 0xbfc039dc, 0xbfc03a0c)
    TEST_BLTZAL(0x138e07f8, 0xb3b0b3c9, 0x5a21b780, 0x00000000, 0x00000000, 0xbfc03aec, 0xbfc03ab4, 0xbfc03ae4)
    TEST_BLTZAL(0x244684db, 0x9b439a00, 0x9a8bf098, 0x00000000, 0x00000000, 0xbfc03bc4, 0xbfc03b8c, 0xbfc03bbc)
    TEST_BLTZAL(0xa4f9cfdd, 0x364d45c0, 0x41bbe00c, 0x364d45c0, 0x41bbe00c, 0xbfc03c6c, 0xbfc03c64, 0xbfc03c94)
    TEST_BLTZAL(0xa31a8b88, 0x80dffe44, 0x2bfa1dd8, 0x80dffe44, 0x2bfa1dd8, 0xbfc03d44, 0xbfc03d3c, 0xbfc03d6c)
    TEST_BLTZAL(0x23b524bc, 0xe8347c34, 0x870d1ff4, 0x00000000, 0x00000000, 0xbfc03e4c, 0xbfc03e14, 0xbfc03e44)
    TEST_BLTZAL(0xff76fa3d, 0x64c2d25c, 0x3d4fc9c0, 0x64c2d25c, 0x3d4fc9c0, 0xbfc03ef4, 0xbfc03eec, 0xbfc03f1c)
    TEST_BLTZAL(0x71e48460, 0xaeb07f00, 0x869f7090, 0x00000000, 0x00000000, 0xbfc03ffc, 0xbfc03fc4, 0xbfc03ff4)
    TEST_BLTZAL(0xa249a008, 0x69391de0, 0x7b0199e0, 0x69391de0, 0x7b0199e0, 0xbfc040a4, 0xbfc0409c, 0xbfc040cc)
    TEST_BLTZAL(0x12265bf2, 0x68d3270c, 0x6567a780, 0x00000000, 0x00000000, 0xbfc041ac, 0xbfc04174, 0xbfc041a4)
    TEST_BLTZAL(0xebc8e65c, 0xae782cc0, 0xcaac1b2c, 0xae782cc0, 0xcaac1b2c, 0xbfc04254, 0xbfc0424c, 0xbfc0427c)
    TEST_BLTZAL(0xaaca9c46, 0x86936b00, 0xf3df3180, 0x86936b00, 0xf3df3180, 0xbfc0432c, 0xbfc04324, 0xbfc04354)
    TEST_BLTZAL(0x0590d170, 0x260a16a4, 0x2529fc78, 0x00000000, 0x00000000, 0xbfc04434, 0xbfc043fc, 0xbfc0442c)
    TEST_BLTZAL(0x2e8b5724, 0xf1306ec4, 0x8e7ae168, 0x00000000, 0x00000000, 0xbfc0450c, 0xbfc044d4, 0xbfc04504)
    TEST_BLTZAL(0x1de8443d, 0x1d807f90, 0xc7435a42, 0x00000000, 0x00000000, 0xbfc045e4, 0xbfc045ac, 0xbfc045dc)
    TEST_BLTZAL(0xbb81451a, 0x03eb1ab0, 0xb7f4cb55, 0x03eb1ab0, 0xb7f4cb55, 0xbfc0468c, 0xbfc04684, 0xbfc046b4)
    TEST_BLTZAL(0xdf5984b1, 0x905956a4, 0x146a6860, 0x905956a4, 0x146a6860, 0xbfc04764, 0xbfc0475c, 0xbfc0478c)
    TEST_BLTZAL(0x59146e08, 0x22b11500, 0xfc9d8e9c, 0x00000000, 0x00000000, 0xbfc0486c, 0xbfc04834, 0xbfc04864)
    TEST_BLTZAL(0xb2e7acf8, 0xc31eb966, 0x2990605c, 0xc31eb966, 0x2990605c, 0xbfc04914, 0xbfc0490c, 0xbfc0493c)
    TEST_BLTZAL(0x4ce3d900, 0x0c50da00, 0xd2352291, 0x00000000, 0x00000000, 0xbfc04a1c, 0xbfc049e4, 0xbfc04a14)
    TEST_BLTZAL(0x1b42e17a, 0xc11a1dd4, 0xe80a7020, 0x00000000, 0x00000000, 0xbfc04af4, 0xbfc04abc, 0xbfc04aec)
    TEST_BLTZAL(0xa8ea5e19, 0x5101aab0, 0x9d6deeae, 0x5101aab0, 0x9d6deeae, 0xbfc04b9c, 0xbfc04b94, 0xbfc04bc4)
    TEST_BLTZAL(0xd7b3d020, 0xf99aa7f0, 0xc18af5b2, 0xf99aa7f0, 0xc18af5b2, 0xbfc04c74, 0xbfc04c6c, 0xbfc04c9c)
    TEST_BLTZAL(0x734b6230, 0x6068878c, 0x09fe7964, 0x00000000, 0x00000000, 0xbfc04d7c, 0xbfc04d44, 0xbfc04d74)
    TEST_BLTZAL(0x6cd76d80, 0x90d7d0ce, 0xda41d700, 0x00000000, 0x00000000, 0xbfc04e54, 0xbfc04e1c, 0xbfc04e4c)
    TEST_BLTZAL(0x68a71f22, 0x62210357, 0xc83f4770, 0x00000000, 0x00000000, 0xbfc04f2c, 0xbfc04ef4, 0xbfc04f24)
    TEST_BLTZAL(0xc5586160, 0xefc1c3f4, 0xce234d00, 0xefc1c3f4, 0xce234d00, 0xbfc04fd4, 0xbfc04fcc, 0xbfc04ffc)
    TEST_BLTZAL(0x6b831b04, 0x27cfaf60, 0x584df110, 0x00000000, 0x00000000, 0xbfc050dc, 0xbfc050a4, 0xbfc050d4)
    TEST_BLTZAL(0x4140cd6e, 0x946f9584, 0x192ecb2a, 0x00000000, 0x00000000, 0xbfc051b4, 0xbfc0517c, 0xbfc051ac)
    TEST_BLTZAL(0x5761276c, 0xb7c925c0, 0x655060ba, 0x00000000, 0x00000000, 0xbfc0528c, 0xbfc05254, 0xbfc05284)
    TEST_BLTZAL(0x595c9842, 0x3d38d68e, 0x3e17fa50, 0x00000000, 0x00000000, 0xbfc05364, 0xbfc0532c, 0xbfc0535c)
    TEST_BLTZAL(0x4ab5152d, 0x649e1726, 0xf3523180, 0x00000000, 0x00000000, 0xbfc0543c, 0xbfc05404, 0xbfc05434)
    TEST_BLTZAL(0x92e90da4, 0x34e6f946, 0x82cb1092, 0x34e6f946, 0x82cb1092, 0xbfc054e4, 0xbfc054dc, 0xbfc0550c)
    TEST_BLTZAL(0xbba9590a, 0x48f10aa2, 0x0a4be0a8, 0x48f10aa2, 0x0a4be0a8, 0xbfc055bc, 0xbfc055b4, 0xbfc055e4)
    TEST_BLTZAL(0x99f0dc78, 0xcca74d4a, 0x9fb73588, 0xcca74d4a, 0x9fb73588, 0xbfc05694, 0xbfc0568c, 0xbfc056bc)
    TEST_BLTZAL(0xb08a88a0, 0xd718c9e6, 0x9a1aaa50, 0xd718c9e6, 0x9a1aaa50, 0xbfc0576c, 0xbfc05764, 0xbfc05794)
    TEST_BLTZAL(0x5f2c6063, 0x48162660, 0x1af590b0, 0x00000000, 0x00000000, 0xbfc05874, 0xbfc0583c, 0xbfc0586c)
    TEST_BLTZAL(0x40113b20, 0x49cdaad7, 0x225d54dc, 0x00000000, 0x00000000, 0xbfc0594c, 0xbfc05914, 0xbfc05944)
    TEST_BLTZAL(0x5e7f637c, 0x331c8554, 0x60cb46c0, 0x00000000, 0x00000000, 0xbfc05a24, 0xbfc059ec, 0xbfc05a1c)
    TEST_BLTZAL(0x028a5cdc, 0xca727700, 0xd1acb3d8, 0x00000000, 0x00000000, 0xbfc05afc, 0xbfc05ac4, 0xbfc05af4)
    TEST_BLTZAL(0xf4158168, 0x5b36fb58, 0xdac1338c, 0x5b36fb58, 0xdac1338c, 0xbfc05ba4, 0xbfc05b9c, 0xbfc05bcc)
    TEST_BLTZAL(0xaede9100, 0x9aefd3e0, 0xeb172cbe, 0x9aefd3e0, 0xeb172cbe, 0xbfc05c7c, 0xbfc05c74, 0xbfc05ca4)
    TEST_BLTZAL(0x7d933080, 0xa7436d60, 0x2f1814c4, 0x00000000, 0x00000000, 0xbfc05d84, 0xbfc05d4c, 0xbfc05d7c)
    TEST_BLTZAL(0x1ca8c258, 0x50c557cc, 0xa722bd38, 0x00000000, 0x00000000, 0xbfc05e5c, 0xbfc05e24, 0xbfc05e54)
    TEST_BLTZAL(0x466b58c0, 0x832cfa20, 0x8175f686, 0x00000000, 0x00000000, 0xbfc05f34, 0xbfc05efc, 0xbfc05f2c)
    TEST_BLTZAL(0x22b2b3b4, 0xe9cb6c40, 0x53edd6b4, 0x00000000, 0x00000000, 0xbfc0600c, 0xbfc05fd4, 0xbfc06004)
    TEST_BLTZAL(0x5b78e940, 0x8dcec176, 0xb8726e32, 0x00000000, 0x00000000, 0xbfc060e4, 0xbfc060ac, 0xbfc060dc)
    TEST_BLTZAL(0x2f5f8070, 0x58205fc0, 0xe57e23ad, 0x00000000, 0x00000000, 0xbfc061bc, 0xbfc06184, 0xbfc061b4)
    TEST_BLTZAL(0xda7308f4, 0x9b86c9b8, 0x913775a0, 0x9b86c9b8, 0x913775a0, 0xbfc06264, 0xbfc0625c, 0xbfc0628c)
    TEST_BLTZAL(0xe9c9da6a, 0xc2339e20, 0xa4268ba0, 0xc2339e20, 0xa4268ba0, 0xbfc0633c, 0xbfc06334, 0xbfc06364)
    TEST_BLTZAL(0xab39c2d2, 0xa3d5a878, 0x1727c53b, 0xa3d5a878, 0x1727c53b, 0xbfc06414, 0xbfc0640c, 0xbfc0643c)
    TEST_BLTZAL(0xbe97cbea, 0xd1834712, 0x81b9b444, 0xd1834712, 0x81b9b444, 0xbfc064ec, 0xbfc064e4, 0xbfc06514)
    TEST_BLTZAL(0xccbb6fe8, 0x58edca80, 0xe32f1c00, 0x58edca80, 0xe32f1c00, 0xbfc065c4, 0xbfc065bc, 0xbfc065ec)
    TEST_BLTZAL(0xca8292c0, 0x05b81cc8, 0x5dc2535b, 0x05b81cc8, 0x5dc2535b, 0xbfc0669c, 0xbfc06694, 0xbfc066c4)
    TEST_BLTZAL(0x87216bb1, 0x5745c9ac, 0x559f39ac, 0x5745c9ac, 0x559f39ac, 0xbfc06774, 0xbfc0676c, 0xbfc0679c)
    TEST_BLTZAL(0xc4660448, 0xbd2e3330, 0x48eeaa30, 0xbd2e3330, 0x48eeaa30, 0xbfc0684c, 0xbfc06844, 0xbfc06874)
    TEST_BLTZAL(0x443ff57c, 0x6c6efe6f, 0x878908f7, 0x00000000, 0x00000000, 0xbfc06954, 0xbfc0691c, 0xbfc0694c)
    TEST_BLTZAL(0x7d6ee738, 0xe0611dfc, 0x9f031122, 0x00000000, 0x00000000, 0xbfc06a2c, 0xbfc069f4, 0xbfc06a24)
    TEST_BLTZAL(0xd3d10d4d, 0x7d247ed0, 0xf5722c22, 0x7d247ed0, 0xf5722c22, 0xbfc06ad4, 0xbfc06acc, 0xbfc06afc)
    TEST_BLTZAL(0x1f949120, 0x820b11fe, 0xdc05404a, 0x00000000, 0x00000000, 0xbfc06bdc, 0xbfc06ba4, 0xbfc06bd4)
    TEST_BLTZAL(0xc68f0040, 0x77c6a186, 0x9f2c9ee6, 0x77c6a186, 0x9f2c9ee6, 0xbfc06c84, 0xbfc06c7c, 0xbfc06cac)
    TEST_BLTZAL(0xc7312578, 0x3be03aec, 0xc0fee200, 0x3be03aec, 0xc0fee200, 0xbfc06d5c, 0xbfc06d54, 0xbfc06d84)
    TEST_BLTZAL(0x309ac032, 0xaadf3100, 0x497ec7b0, 0x00000000, 0x00000000, 0xbfc06e64, 0xbfc06e2c, 0xbfc06e5c)
    TEST_BLTZAL(0x5cb29501, 0xd6019ed2, 0x4808d27a, 0x00000000, 0x00000000, 0xbfc06f3c, 0xbfc06f04, 0xbfc06f34)
    TEST_BLTZAL(0x24c24528, 0x23081e7c, 0x23a423a5, 0x00000000, 0x00000000, 0xbfc07014, 0xbfc06fdc, 0xbfc0700c)
    TEST_BLTZAL(0x2092e460, 0xea8c1a16, 0x7fb0dc44, 0x00000000, 0x00000000, 0xbfc070ec, 0xbfc070b4, 0xbfc070e4)
    TEST_BLTZAL(0xf724628b, 0x24cd6a00, 0x06d5bbd0, 0x24cd6a00, 0x06d5bbd0, 0xbfc07194, 0xbfc0718c, 0xbfc071bc)
    TEST_BLTZAL(0x33bf4222, 0xb8acf8f9, 0xdafc8a00, 0x00000000, 0x00000000, 0xbfc0729c, 0xbfc07264, 0xbfc07294)
    TEST_BLTZAL(0x9e234e33, 0x7172c748, 0x61ac8e1e, 0x7172c748, 0x61ac8e1e, 0xbfc07344, 0xbfc0733c, 0xbfc0736c)
    TEST_BLTZAL(0xf9756dbc, 0x021822c8, 0xa5ed4b94, 0x021822c8, 0xa5ed4b94, 0xbfc0741c, 0xbfc07414, 0xbfc07444)
    TEST_BLTZAL(0x60880d60, 0xd8442aaf, 0xaac6de74, 0x00000000, 0x00000000, 0xbfc07524, 0xbfc074ec, 0xbfc0751c)
    TEST_BLTZAL(0x62fc9300, 0x36454702, 0xd297fe88, 0x00000000, 0x00000000, 0xbfc075fc, 0xbfc075c4, 0xbfc075f4)
    TEST_BLTZAL(0x12cdb320, 0x13bf17a2, 0x6a1085c6, 0x00000000, 0x00000000, 0xbfc076d4, 0xbfc0769c, 0xbfc076cc)
    TEST_BLTZAL(0x33699318, 0xeb2f7fcc, 0xdcfbd7b6, 0x00000000, 0x00000000, 0xbfc077ac, 0xbfc07774, 0xbfc077a4)
    TEST_BLTZAL(0x1beacb00, 0xe333f8e8, 0xd492d830, 0x00000000, 0x00000000, 0xbfc07884, 0xbfc0784c, 0xbfc0787c)
    TEST_BLTZAL(0xf3abd08a, 0xc25e31c0, 0xf178fcc7, 0xc25e31c0, 0xf178fcc7, 0xbfc0792c, 0xbfc07924, 0xbfc07954)
    TEST_BLTZAL(0xbbb85c80, 0x747014c0, 0xa2f6fdf0, 0x747014c0, 0xa2f6fdf0, 0xbfc07a04, 0xbfc079fc, 0xbfc07a2c)
    TEST_BLTZAL(0x3a43003a, 0xeeed819a, 0xb2fad2e0, 0x00000000, 0x00000000, 0xbfc07b0c, 0xbfc07ad4, 0xbfc07b04)
    TEST_BLTZAL(0x5037f2c4, 0xdc5b45a0, 0x2ec3ec30, 0x00000000, 0x00000000, 0xbfc07be4, 0xbfc07bac, 0xbfc07bdc)
    TEST_BLTZAL(0xa8456f6e, 0xaff24380, 0x319e3974, 0xaff24380, 0x319e3974, 0xbfc07c8c, 0xbfc07c84, 0xbfc07cb4)
    TEST_BLTZAL(0x414853a0, 0x637439d2, 0x6693d9c0, 0x00000000, 0x00000000, 0xbfc07d94, 0xbfc07d5c, 0xbfc07d8c)
    TEST_BLTZAL(0xe7456b0a, 0x51b4161c, 0xfeaa18a0, 0x51b4161c, 0xfeaa18a0, 0xbfc07e3c, 0xbfc07e34, 0xbfc07e64)
    TEST_BLTZAL(0xbb74e538, 0x6ed74130, 0x984f6072, 0x6ed74130, 0x984f6072, 0xbfc07f14, 0xbfc07f0c, 0xbfc07f3c)
    TEST_BLTZAL(0x22d313b0, 0xa42543e0, 0x4e7cf014, 0x00000000, 0x00000000, 0xbfc0801c, 0xbfc07fe4, 0xbfc08014)
    TEST_BLTZAL(0x5879a989, 0x80ef8300, 0x3576293c, 0x00000000, 0x00000000, 0xbfc080f4, 0xbfc080bc, 0xbfc080ec)
    TEST_BLTZAL(0x6dd7a283, 0x67f82b20, 0x3eeddf3c, 0x00000000, 0x00000000, 0xbfc081cc, 0xbfc08194, 0xbfc081c4)
    TEST_BLTZAL(0x8c3e6232, 0x6b6cd290, 0x360783ea, 0x6b6cd290, 0x360783ea, 0xbfc08274, 0xbfc0826c, 0xbfc0829c)
    TEST_BLTZAL(0x9935c478, 0xcaaa3fe0, 0xbfbf76f0, 0xcaaa3fe0, 0xbfbf76f0, 0xbfc0834c, 0xbfc08344, 0xbfc08374)
    TEST_BLTZAL(0xaa40e800, 0xd0658f18, 0x27947ea4, 0xd0658f18, 0x27947ea4, 0xbfc08424, 0xbfc0841c, 0xbfc0844c)
    TEST_BLTZAL(0x95c54b0e, 0x2c0a79d8, 0xba269468, 0x2c0a79d8, 0xba269468, 0xbfc084fc, 0xbfc084f4, 0xbfc08524)
    TEST_BLTZAL(0x0c643508, 0xb70c9fb0, 0xfc6798bc, 0x00000000, 0x00000000, 0xbfc08604, 0xbfc085cc, 0xbfc085fc)
    TEST_BLTZAL(0x7c26fe64, 0x1bde5440, 0x0a02d616, 0x00000000, 0x00000000, 0xbfc086dc, 0xbfc086a4, 0xbfc086d4)
    TEST_BLTZAL(0xfd4d12cc, 0x375d3388, 0x931732c2, 0x375d3388, 0x931732c2, 0xbfc08784, 0xbfc0877c, 0xbfc087ac)
    TEST_BLTZAL(0x3bb516cb, 0x9a02b930, 0xbca4f17c, 0x00000000, 0x00000000, 0xbfc0888c, 0xbfc08854, 0xbfc08884)
    TEST_BLTZAL(0x72a53c58, 0xdc2567e4, 0x70280859, 0x00000000, 0x00000000, 0xbfc08964, 0xbfc0892c, 0xbfc0895c)
    TEST_BLTZAL(0x99119a2e, 0x184ac668, 0x2127b7d2, 0x184ac668, 0x2127b7d2, 0xbfc08a0c, 0xbfc08a04, 0xbfc08a34)
    TEST_BLTZAL(0xb446190a, 0x7d1f992e, 0x3cde2960, 0x7d1f992e, 0x3cde2960, 0xbfc08ae4, 0xbfc08adc, 0xbfc08b0c)
    TEST_BLTZAL(0x1b8f96bc, 0xf3cdf593, 0x97e1fbbc, 0x00000000, 0x00000000, 0xbfc08bec, 0xbfc08bb4, 0xbfc08be4)
    TEST_BLTZAL(0x789194bf, 0xdcdbab7f, 0x1e341cf8, 0x00000000, 0x00000000, 0xbfc08cc4, 0xbfc08c8c, 0xbfc08cbc)
    TEST_BLTZAL(0x23698dbe, 0x9962e5f0, 0xad6ccba6, 0x00000000, 0x00000000, 0xbfc08d9c, 0xbfc08d64, 0xbfc08d94)
    TEST_BLTZAL(0x7b96aa28, 0xb96f903d, 0x85e76370, 0x00000000, 0x00000000, 0xbfc08e74, 0xbfc08e3c, 0xbfc08e6c)
    TEST_BLTZAL(0x6a9ae400, 0x5257a372, 0x865c7e28, 0x00000000, 0x00000000, 0xbfc08f4c, 0xbfc08f14, 0xbfc08f44)
    TEST_BLTZAL(0x63c50b28, 0x061e6658, 0x322ff830, 0x00000000, 0x00000000, 0xbfc09024, 0xbfc08fec, 0xbfc0901c)
    TEST_BLTZAL(0x46e906bc, 0xc06953e0, 0xa92e9bbc, 0x00000000, 0x00000000, 0xbfc090fc, 0xbfc090c4, 0xbfc090f4)
    TEST_BLTZAL(0x3bc5a0e0, 0x563a0440, 0x0817b7a8, 0x00000000, 0x00000000, 0xbfc091d4, 0xbfc0919c, 0xbfc091cc)
    TEST_BLTZAL(0x92c167f8, 0xe27e6888, 0x4e28c838, 0xe27e6888, 0x4e28c838, 0xbfc0927c, 0xbfc09274, 0xbfc092a4)
    TEST_BLTZAL(0x3ee483a8, 0x3e09bb40, 0x65b17d20, 0x00000000, 0x00000000, 0xbfc09384, 0xbfc0934c, 0xbfc0937c)
    TEST_BLTZAL(0x4eaa5a80, 0x6edf66a4, 0x27264b04, 0x00000000, 0x00000000, 0xbfc0945c, 0xbfc09424, 0xbfc09454)
    TEST_BLTZAL(0xc25a94c0, 0x16648180, 0xceff49a0, 0x16648180, 0xceff49a0, 0xbfc09504, 0xbfc094fc, 0xbfc0952c)
    TEST_BLTZAL(0x178e29a0, 0xa5b5a538, 0xc4440224, 0x00000000, 0x00000000, 0xbfc0960c, 0xbfc095d4, 0xbfc09604)
    TEST_BLTZAL(0x1946faac, 0xaa83b7aa, 0xc9244bf5, 0x00000000, 0x00000000, 0xbfc096e4, 0xbfc096ac, 0xbfc096dc)
    TEST_BLTZAL(0x8a6e27ba, 0x5479233d, 0x0fe51340, 0x5479233d, 0x0fe51340, 0xbfc0978c, 0xbfc09784, 0xbfc097b4)
    TEST_BLTZAL(0xc1a17acc, 0x4081010d, 0xff791604, 0x4081010d, 0xff791604, 0xbfc09864, 0xbfc0985c, 0xbfc0988c)
    TEST_BLTZAL(0x45e5dec0, 0xd701b72c, 0x5888fdd8, 0x00000000, 0x00000000, 0xbfc0996c, 0xbfc09934, 0xbfc09964)
    TEST_BLTZAL(0x93326582, 0xf1f955c0, 0xcf5e55ca, 0xf1f955c0, 0xcf5e55ca, 0xbfc09a14, 0xbfc09a0c, 0xbfc09a3c)
    TEST_BLTZAL(0x00928868, 0x090455b2, 0xf5c1b600, 0x00000000, 0x00000000, 0xbfc09b1c, 0xbfc09ae4, 0xbfc09b14)
    TEST_BLTZAL(0xf7ccd1e8, 0x16332a88, 0x54968884, 0x16332a88, 0x54968884, 0xbfc09bc4, 0xbfc09bbc, 0xbfc09bec)
    TEST_BLTZAL(0x6ec43ef0, 0xfb8f16d5, 0x09b69d60, 0x00000000, 0x00000000, 0xbfc09ccc, 0xbfc09c94, 0xbfc09cc4)
    TEST_BLTZAL(0x16c9ba2e, 0x37daacd7, 0x7986d400, 0x00000000, 0x00000000, 0xbfc09da4, 0xbfc09d6c, 0xbfc09d9c)
    TEST_BLTZAL(0xbae401b8, 0xe096eec2, 0x15e2e1e0, 0xe096eec2, 0x15e2e1e0, 0xbfc09e4c, 0xbfc09e44, 0xbfc09e74)
    TEST_BLTZAL(0x7a4a5eb6, 0x1fd9b7a8, 0x7f6b7a00, 0x00000000, 0x00000000, 0xbfc09f54, 0xbfc09f1c, 0xbfc09f4c)
    TEST_BLTZAL(0x59b20d00, 0xdc65605e, 0xddb8579c, 0x00000000, 0x00000000, 0xbfc0a02c, 0xbfc09ff4, 0xbfc0a024)
    TEST_BLTZAL(0x48e7307c, 0xde52b38f, 0x14848570, 0x00000000, 0x00000000, 0xbfc0a104, 0xbfc0a0cc, 0xbfc0a0fc)
    TEST_BLTZAL(0x2fe03e13, 0xb9eb186e, 0x403ccc04, 0x00000000, 0x00000000, 0xbfc0a1dc, 0xbfc0a1a4, 0xbfc0a1d4)
    TEST_BLTZAL(0x50d83460, 0x5b458d34, 0xb3e5b6c0, 0x00000000, 0x00000000, 0xbfc0a2b4, 0xbfc0a27c, 0xbfc0a2ac)
    TEST_BLTZAL(0x42e7c900, 0xe3efdfde, 0x0d3d9b80, 0x00000000, 0x00000000, 0xbfc0a38c, 0xbfc0a354, 0xbfc0a384)
    TEST_BLTZAL(0xf8841282, 0x729968e0, 0x16e13cca, 0x729968e0, 0x16e13cca, 0xbfc0a434, 0xbfc0a42c, 0xbfc0a45c)
    TEST_BLTZAL(0xa98425f8, 0xbc443ce7, 0xae756fac, 0xbc443ce7, 0xae756fac, 0xbfc0a50c, 0xbfc0a504, 0xbfc0a534)
    TEST_BLTZAL(0x6c1f0d47, 0x1afdcbfa, 0x9ccde33e, 0x00000000, 0x00000000, 0xbfc0a614, 0xbfc0a5dc, 0xbfc0a60c)
    TEST_BLTZAL(0xfcf950ca, 0x8954be60, 0x82ec2818, 0x8954be60, 0x82ec2818, 0xbfc0a6bc, 0xbfc0a6b4, 0xbfc0a6e4)
    TEST_BLTZAL(0x74f524b2, 0xb1151634, 0xa1cb0328, 0x00000000, 0x00000000, 0xbfc0a7c4, 0xbfc0a78c, 0xbfc0a7bc)
    TEST_BLTZAL(0xc9bca1a8, 0x2a1a3688, 0xea2bb980, 0x2a1a3688, 0xea2bb980, 0xbfc0a86c, 0xbfc0a864, 0xbfc0a894)
    TEST_BLTZAL(0x4f8b1162, 0x560409a8, 0x5df83060, 0x00000000, 0x00000000, 0xbfc0a974, 0xbfc0a93c, 0xbfc0a96c)
    TEST_BLTZAL(0x00dba000, 0xff655f88, 0xe7eb1ef4, 0x00000000, 0x00000000, 0xbfc0aa4c, 0xbfc0aa14, 0xbfc0aa44)
    TEST_BLTZAL(0xa199561e, 0x92b64a0c, 0xe8669a08, 0x92b64a0c, 0xe8669a08, 0xbfc0aaf4, 0xbfc0aaec, 0xbfc0ab1c)
    TEST_BLTZAL(0x73ee8202, 0xd7a56490, 0x79518f38, 0x00000000, 0x00000000, 0xbfc0abfc, 0xbfc0abc4, 0xbfc0abf4)
    TEST_BLTZAL(0x00000000, 0xafbac4d4, 0xf06fb6ae, 0x00000000, 0x00000000, 0xbfc0acd0, 0xbfc0ac9c, 0xbfc0acc8)
    HIT_GOOD_TRAP

inst_error:
    HIT_BAD_TRAP